Facts:
[book] is in [open box]..
[notebook] is in [closed box]..
[open box] is on [red table]..
[closed box] is on [red table]..
[john] has approached [red table]..
Logico-linguistic inference rules:
can [A] see [X]? :–[A] can see [X]..
what can [A] see? [X] :–[A] can see [X]..
what is in [A]? [X] :–[X] is in [A]..
what is visible on [A]? [X] :–[X] is visible on [A]..
what is invisible on [A]? [X] :–[X] is in [B] ,, [B] is on [A] ,, ~~[X] is visible on [A]..
what is on [A]? [X] :–[X] is on [A]..
what is on [A]? [X] :–[X] is in [B] ,, [B] is on [A]..
[A] can see [X] :–[A] is standing near [B] ,, [X] is visible on [B]..
[A] is visible on [B] :–[A] is on [B]..
[A] is visible on [B] :–[A] is in [open X] ,, [open X] is visible on [B]..
[A] is standing near [B] :–[A] has approached [B]..
Sampletalk Program Example:
Exploiting the Natural Syntax &
Semantics of the Original NL Phrases
rather than
Inventing an Artificial Syntax and
Making an Artificial Semantic Model
!
Negation